import Lean4Probability

def main : IO Unit :=
  IO.println s!"Hello, Lean 4 Probability!"
